default:
	pdflatex ps3.tex
	
